high order predicate calculus
高阶述词演算
热门查询
- diorama n. 透视画；西洋景；立体模型
- atman n. （印度教）灵魂；自我；呼吸
- rancor n. 深仇；怨恨；敌意
- break down v. 分解；抛锚；分析；划分 [网络] 损坏；出故障；瓦解
- diarrhoeal adj. 腹泻
- tattoo n. 文身 vt. 刺花纹于 vi. 刺花样
- Rockefeller n. 洛克菲勒（姓氏）
- mesh n. 网眼；网丝；圈套 vi. 相啮合 vt. [机] 啮合；以网捕捉
- principalship n. 首要的地位、职务
- teflon n. [高分子] 聚四氟乙烯；铁氟龙（商标名）
- skank n. 讨厌，粗鄙的人
- reload vt. 再装 vi. 重新装；再装填弹药
- heliport n. [航] 直升飞机场，直升机停机坪
- lfa abbr. last field address 最后扫描地址; left frontoanterior 左前方的
- emancipate vt. 解放；释放
- disassembly n. 拆卸；分解
- cassoulet n. 豆焖肉 n. (Cassoulet)人名；(法)卡苏莱
- maven n. 内行，专家
- papaya n. 木瓜；[林] 番木瓜树
- pebble n. 卵石；水晶透镜 vt. 用卵石铺
